1![Verification of Population Protocols Javier Esparza Technical University of Munich Joint work with Pierre Ganty, J´erˆome Leroux, Rupak Majumdar, and Verification of Population Protocols Javier Esparza Technical University of Munich Joint work with Pierre Ganty, J´erˆome Leroux, Rupak Majumdar, and](https://www.pdfsearch.io/img/01c9c4bfb2258736ab0f595b2d0adc27.jpg) | Add to Reading ListSource URL: www.lsv.frLanguage: English - Date: 2017-05-22 04:51:19
|
---|
2![IgorFs: A Distributed P2P File System Johanna Amann, Benedikt Elser, Yaser Houri, and Thomas Fuhrmann Computer Science Department Technical University of Munich Munich, Germany {ja|elser|houri|fuhrmann}@net.in.tum.de IgorFs: A Distributed P2P File System Johanna Amann, Benedikt Elser, Yaser Houri, and Thomas Fuhrmann Computer Science Department Technical University of Munich Munich, Germany {ja|elser|houri|fuhrmann}@net.in.tum.de](https://www.pdfsearch.io/img/9c19990a52482ee8ad9a249b6e8d9b8c.jpg) | Add to Reading ListSource URL: www.icir.orgLanguage: English - Date: 2017-10-16 19:29:52
|
---|
3![Verification of Population Protocols Javier Esparza Technical University of Munich Joint work with Pierre Ganty, J´erˆome Leroux, and Rupak Majumdar Verification of Population Protocols Javier Esparza Technical University of Munich Joint work with Pierre Ganty, J´erˆome Leroux, and Rupak Majumdar](https://www.pdfsearch.io/img/92623791343223a67bab2e17d72eb6cc.jpg) | Add to Reading ListSource URL: www7.in.tum.deLanguage: English - Date: 2015-09-15 08:28:52
|
---|
4![TUM School of Life Sciences Technical University of Munich PhD student/postdoc in Sensory and Behavioral Neuroscience The labs of Julijana Gjorgjieva (Max PIanck Institute for Brain Research, Frankfurt, Germany) and Ilon TUM School of Life Sciences Technical University of Munich PhD student/postdoc in Sensory and Behavioral Neuroscience The labs of Julijana Gjorgjieva (Max PIanck Institute for Brain Research, Frankfurt, Germany) and Ilon](https://www.pdfsearch.io/img/b477328c41e389aee58fbd7ff4916696.jpg) | Add to Reading ListSource URL: www.cns.wzw.tum.deLanguage: English - Date: 2018-02-25 11:51:25
|
---|
5![CindyGL: Authoring GPU-based interactive mathematical content Aaron Montag and J¨ urgen Richter-Gebert? Technical University of Munich, Germany {montag,richter}@ma.tum.de, CindyGL: Authoring GPU-based interactive mathematical content Aaron Montag and J¨ urgen Richter-Gebert? Technical University of Munich, Germany {montag,richter}@ma.tum.de,](https://www.pdfsearch.io/img/111f2b89b527da6b1398def9d1cfde6f.jpg) | Add to Reading ListSource URL: cindyjs.org- Date: 2016-12-12 08:43:18
|
---|
6![Mean-payoff objectives for Markov Decision Processes Pranav Ashok1 , Krishnendu Chatterjee2 , Przemysław Daca2 , Jan Kˇret´ınsk´y1 and Tobias Meggendorfer1 1 Technical University of Munich, Germany Mean-payoff objectives for Markov Decision Processes Pranav Ashok1 , Krishnendu Chatterjee2 , Przemysław Daca2 , Jan Kˇret´ınsk´y1 and Tobias Meggendorfer1 1 Technical University of Munich, Germany](https://www.pdfsearch.io/img/83cd39dfe94632180c7c3430820deb6e.jpg) | Add to Reading ListSource URL: qapl17.doc.ic.ac.uk- Date: 2017-04-20 09:16:43
|
---|
7![A Non-Convex Variational Approach to Photometric Stereo under Inaccurate Lighting Yvain Q U E´ AU, Tao W U Technical University of Munich, Germany Franc¸ois L AUZE A Non-Convex Variational Approach to Photometric Stereo under Inaccurate Lighting Yvain Q U E´ AU, Tao W U Technical University of Munich, Germany Franc¸ois L AUZE](https://www.pdfsearch.io/img/74c75cbcb4bfe866485cdc555acd9af5.jpg) | Add to Reading ListSource URL: openaccess.thecvf.com- Date: 2017-05-30 20:42:41
|
---|
8![Push Away Your Privacy: Precise User Tracking Based on TLS Client Certificate Authentication Matthias Wachs, Quirin Scheitle, Georg Carle Chair of Network Architectures and Services Technical University of Munich (TUM) E Push Away Your Privacy: Precise User Tracking Based on TLS Client Certificate Authentication Matthias Wachs, Quirin Scheitle, Georg Carle Chair of Network Architectures and Services Technical University of Munich (TUM) E](https://www.pdfsearch.io/img/515856d0b81d207aa7513b1824842ca2.jpg) | Add to Reading ListSource URL: tma.ifip.org- Date: 2017-06-17 09:11:30
|
---|
9![Real-Time Visual Odometry from Dense RGB-D Images Frank Steinbrücker Jürgen Sturm Daniel Cremers Department of Computer Science, Technical University of Munich, Germany {steinbrf,sturmju,cremers}@in.tum.de Real-Time Visual Odometry from Dense RGB-D Images Frank Steinbrücker Jürgen Sturm Daniel Cremers Department of Computer Science, Technical University of Munich, Germany {steinbrf,sturmju,cremers}@in.tum.de](https://www.pdfsearch.io/img/845d2a2891c47c5f431b0faef5ffb1c1.jpg) | Add to Reading ListSource URL: vision.in.tum.de- Date: 2011-11-22 09:44:36
|
---|
10![Markov Processes in Isabelle/HOL Johannes H¨olzl Technical University of Munich, Germany Abstract Markov Processes in Isabelle/HOL Johannes H¨olzl Technical University of Munich, Germany Abstract](https://www.pdfsearch.io/img/06dca28af1feb84712eba2266cbc590a.jpg) | Add to Reading ListSource URL: home.in.tum.de- Date: 2016-12-02 10:40:04
|
---|